Bounded Delay and Concurrency for Earliest Query Answering

International audienceEarliest query answering is needed for streaming XML processing with optimal memory management. We study the feasibility of earliest query answering for node selection queries. Tractable queries are distinguished by a bounded number of concurrently alive answer candidates at every time point, and a bounded delay for node selection. We show that both properties are decidable in polynomial time for queries defined by deterministic automata for unranked trees. Our results are obtained by reduction to the bounded valuedness problem for recognizable relations between unranked trees

Earliest Query Answering for Deterministic Nested Word Automata

International audienceEarliest query answering (EQA) is an objective of many recent streaming algorithms for XML query answering, that aim for close to optimal memory management. In this paper, we show that EQA is infeasible even for a small fragment of Forward XPath except if P=NP. We then present an EQA algorithm for queries and schemas defined by deterministic nested word automata (dNWAs) and distinguish a large class of dNWAs for which streaming query answering is feasible in polynomial space and time

MALTA monolithic pixel sensors in TowerJazz 180 nm technology

Depleted Monolithic Active Pixel Sensors are of highest interest at the HL-LHC and beyond for the replacement of the Pixel trackers in the outermost layers of experiments where the requirement on total area and cost effectiveness is much bigger. They aim to provide high granularity and low material budget over large surfaces with ease of integration. Our research focuses on MALTA, a radiation hard DMAPS with small collection electrode designed in TowerJazz 180 nm CMOS imaging technology and asynchronous read-out. Latest prototypes are radiation hard up to 2 × 1015 1 MeV neq/cm2 with a time resolution better than 2 ns

Timing performance of radiation hard MALTA monolithic Pixel sensors

The MALTA family of Depleted Monolithic Active Pixel Sensor (DMAPS) produced in Tower 180 nm CMOS technology targets radiation hard applications for the HL-LHC and beyond. Several process modifications and front-end improvements have resulted in radiation hardness up to $2 \times 10^{15}~1~\text{MeV}~\text{n}_{eq}/\text{cm}^2$ and time resolution below 2 ns, with uniform charge collection efficiency across the Pixel of size $36.4 \times 36.4~\mu\text{m}^2$ with a $3~\mu\text{m}^2$ electrode size. The MALTA2 demonstrator produced in 2021 on high-resistivity epitaxial silicon and on Czochralski substrates implements a new cascoded front-end that reduces the RTS noise and has a higher gain. This contribution shows results from MALTA2 on timing resolution at the nanosecond level from the CERN SPS test-beam campaign of 2021.Comment: 8 pages, 8 figures. Submitted to Journal of Instrumentation (JINST). Proceedings of the 23rd International Workshop on Radiation Imaging Detectors IWORID 202

Depletion depth studies with the MALTA2 sensor, a depleted monolithic active pixel sensor

MALTA2 is a depleted monolithic active pixel sensor (DMAPS) developed in the Tower 180 nm CMOS imaging process. Monolithic CMOS sensors offer advantages over current hybrid imaging sensors both in terms of increased tracking performance due to lower material budget but also in terms of ease of integration and construction costs due to the monolithic design. Current research and development efforts are aimed towards radiation-hard designs up to 100 Mrad in Total Ionizing Dose and 3 × 1015 1 MeV neq / cm2 in Non-Ionizing Energy Loss. One important property of a sensor’s radiation hardness is the depletion depth at which efficient charge collection is achieved via drift movement. Grazing angle test-beam data was taken during the 2023 SPS CERN test beam with the MALTA telescope and Edge Transient Current Technique studies were performed at DESY in order to develop a quantitative study of the depletion depth for un-irradiated, epitaxial MALTA2 samples. The study is planned to be extended for irradiated and Czochralski MALTA2 samples

Future developments of radiation tolerant sensors based on the MALTA architecture

The planned MALTA3 DMAPS designed in the standard TowerJazz 180 nm imaging process will implement the numerous process modifications, as well as front-end changes in order to boost the charge collection efficiency after the targeted fluence of 1 × 1015 1 MeV neq/cm2. The effectiveness of these changes have been demonstrated with recent measurements of the full size MALTA2 chip. With the original MALTA concept being fully asynchronous, a small-scale MiniMALTA demonstrator chip has been developed with the intention of bridging the gap between the asynchronous pixel matrix, and the synchronous DAQ. This readout architecture will serve as a baseline for MALTA3, with focus on improved timing performance. The synchronization memory has been upgraded to allow clock speeds of up to 1.28 GHz, with the goal of achieving a sub-nanosecond on-chip timing resolution. The subsequent digital readout chain has been modified and will be discussed in the context of the overall sensor architecture

Development of a large-area, light-weight module using the MALTA monolithic pixel detector

The MALTA pixel chip is a 2 cm x 2 cm large monolithic pixel detector developed in the Tower 180 nm imaging process. The chip contains four CMOS transceiver blocks at its sides which allow chip-to-chip data transfer. The power pads are located mainly at the side edges on the chip which allows for chip-to-chip power transmission. The MALTA chip has been used to study module assembly using different interconnection techniques to transmit data and power from chip to chip and to minimize the overall material budget. Several 2-chip and 4-chip modules have been assembled using standard wire bonding, ACF (Anisotropic Conductive Films) and laser reflow interconnection techniques. These proceedings will summarize the experience with the different interconnection techniques and performance tests of MALTA modules with 2 and 4 chips tested in a cosmic muon telescope. They will also show first results on the effect of serial power tests on chip performance as well as the impact of the different interconnection techniques and the results of mechanical tests. Finally, a conceptual study for a flex based ultra-light weight monolithic pixel module based on the MALTA chip with minimum interconnections is presented

XML type checking with macro tree transducers

The tree transformation language tl is introduced which incorporates full MSO-pattern-matching, arbitrary navigation through the input, and named procedures with accumulating parameters. Thus, tl essentially captures all features offered by existing document processing languages such as Xslt, fxt, or XDuce. It is proved that tl, despite its expressiveness, still allows for effective inverse type inference. This result is obtained by means of a translation of tl transformers into compositions of (stay) macro tree transducers

XML Type Checking with Macro Tree Transducers

MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a corresponding theoretical foundation of XML transformation languages, the “transformation language ” TL is proposed. This language is based on the “document transformation language” DTL of Maneth and Neven which incorporates full MSO pattern matching, arbitrary navigation in the input tree using also MSO patterns, and named procedures. The new language generalizes DTL by additionally allowing procedures to accumulate intermediate results in parameters. It is proved that TL – and thus in particular DTL – despite their expressiveness still allow for effective inverse type inference. This result is obtained by means of a translation of TL programs into compositions of top-down finite state tree transductions with parameters, also called (stay) macro tree transducers